python deleting lines from a file